1.
Floating-Point Algorithms and Formal Proofs : A Didactic Tour with Coq
by Boldo, Sylvie, Melquiond, G...
ISBN: 9781785481123
List Price: $150.00
OUT OF STOCK
See Availability on Amazon2.
Handbook of Floating-Point Arithmetic
by Jean-Michel Muller, Nicolas...
ISBN: 9783030095130
List Price: $149.99